(('a * 'b) * 'c)
